The present paper presents a philosophical analysis of earth science, a discipline that has received relatively little attention from philosophers of science. We focus on the question of whether earth science can be reduced to allegedly more fundamental sciences, such as chemistry or physics. In order to answer this question, we investigate the aims and methods of earth science, the laws and theories used by earth scientists, and the nature of earth-scientific explanation. Our analysis leads to the tentative conclusion that (...) there are emergent phenomena in earth science but that these may be reducible to physics. However, earth science does not have irreducible laws, and the theories of earth science are typically hypotheses about unobservable (past) events or generalised - but not universally valid - descriptions of contingent processes. Unlike more fundamental sciences, earth science is characterised by explanatory pluralism: earth scientists employ various forms of narrative explanations in combination with causal explanations. The main reason is that earth-scientific explanations are typically hampered by local underdetermination by the data to such an extent that complete causal explanations are impossible in practice, if not in principle. (shrink)

Undergraduate geoscience students are rarely exposed to history and philosophy of science. I will describe the experiences with a short course unfavourably placed in the first year of a bachelor of earth science. Arguments how HPS could enrich their education in many ways are sketched. One useful didactic approach is to develop a broader interest by connecting HPS themes to practical cases throughout the curriculum, and develop learning activities that allow students to reflect on their skills, methods and their field (...) in relation to other disciplines and interactions with society with abilities gained through exposure to HPS. Given support of the teaching staff, the tenets of philosophy of science in practice, of conceptual history of knowledge, and of ethics of science for society can fruitfully and directly be connected to the existing curriculum. This is ideally followed by a capstone HPS course late in the bachelor programme. (shrink)

Eighteenth century river hydraulics used both theory and measurement to address problems of flood safety, navigation and defense related to the rivers. In the late eighteenth century the Dutch overseer of the rivers, Christiaan Brunings, integrated hydraulic theory and meteorological practices, which enabled him to design a unique instrument for measuring river flow. The question is whether the unprecedented detail of measurements fits the putative empirical stance in the eighteenth century. The interactions between theory, instrument, measurement, and other knowledge practices (...) are here assessed using experiences in similar measurement practices. I argue that Brunings had theoretical and embodied understanding of hydrodynamics, as he knew how to design an instrument for flow measurement of sufficient accuracy for his purpose in the sociopolitical context of river management. (shrink)

This chapter contains sections titled: Introduction Object and Aims of Earth Science The Autonomy of Earth Science Explanation in Earth Science Conclusion Acknowledgment References.

This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...) to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)

The spiders Cupiennius salei and Achaearanea tepidariorum are firmly established laboratory models that have already contributed greatly to answering evolutionary developmental questions. Here we appraise why these animals are such useful models from phylogeny, natural history and embryogenesis to the tools available for their manipulation. We then review recent studies of axis formation, segmentation, appendage development and neurogenesis in these spiders and how this has contributed to understanding the evolution of these processes. Furthermore, we discuss the potential of comparisons of (...) silk production between Cupiennius and Achaearanea to investigate the origins and diversification of this evolutionary innovation. We suggest that further comparisons between these two spiders and other chelicerates will prove useful for understanding the evolution of development in metazoans. BioEssays 30:487–498, 2008. © 2008 Wiley Periodicals, Inc. (shrink)

The scientific study of living organisms is permeated by machine and design metaphors. Genes are thought of as the ‘‘blueprint’’ of an organism, organisms are ‘‘reverse engineered’’ to discover their func- tionality, and living cells are compared to biochemical factories, complete with assembly lines, transport systems, messenger circuits, etc. Although the notion of design is indispensable to think about adapta- tions, and engineering analogies have considerable heuristic value (e.g., optimality assumptions), we argue they are limited in several important respects. In (...) particular, the analogy with human-made machines falters when we move down to the level of molecular biology and genetics. Living organisms are far more messy and less transparent than human-made machines. Notoriously, evolution is an oppor- tunistic tinkerer, blindly stumbling on ‘‘designs’’ that no sensible engineer would come up with. Despite impressive technological innovation, the prospect of artificially designing new life forms from scratch has proven more difficult than the superficial analogy with ‘‘programming’’ the right ‘‘software’’ would sug- gest. The idea of applying straightforward engineering approaches to living systems and their genomes— isolating functional components, designing new parts from scratch, recombining and assembling them into novel life forms—pushes the analogy with human artifacts beyond its limits. In the absence of a one-to-one correspondence between genotype and phenotype, there is no straightforward way to imple- ment novel biological functions and design new life forms. Both the developmental complexity of gene expression and the multifarious interactions of genes and environments are serious obstacles for ‘‘engi- neering’’ a particular phenotype. The problem of reverse-engineering a desired phenotype to its genetic ‘‘instructions’’ is probably intractable for any but the most simple phenotypes. Recent developments in the field of bio-engineering and synthetic biology reflect these limitations. Instead of genetically engi- neering a desired trait from scratch, as the machine/engineering metaphor promises, researchers are making greater strides by co-opting natural selection to ‘‘search’’ for a suitable genotype, or by borrowing and recombining genetic material from extant life forms. (shrink)

The scientific study of living organisms is permeated by machine and design metaphors. Genes are thought of as the ‘‘blueprint’’ of an organism, organisms are ‘‘reverse engineered’’ to discover their functionality, and living cells are compared to biochemical factories, complete with assembly lines, transport systems, messenger circuits, etc. Although the notion of design is indispensable to think about adaptations, and engineering analogies have considerable heuristic value (e.g., optimality assumptions), we argue they are limited in several important respects. In particular, the (...) analogy with human-made machines falters when we move down to the level of molecular biology and genetics. Living organisms are far more messy and less transparent than human-made machines. Notoriously, evolution is an opportunistic tinkerer, blindly stumbling on ‘‘designs’’ that no sensible engineer would come up with. Despite impressive technological innovation, the prospect of artificially designing new life forms from scratch has proven more difficult than the superficial analogy with ‘‘programming’’ the right ‘‘software’’ would suggest. The idea of applying straightforward engineering approaches to living systems and their genomes— isolating functional components, designing new parts from scratch, recombining and assembling them into novel life forms—pushes the analogy with human artifacts beyond its limits. In the absence of a one-to-one correspondence between genotype and phenotype, there is no straightforward way to implement novel biological functions and design new life forms. Both the developmental complexity of gene expression and the multifarious interactions of genes and environments are serious obstacles for ‘‘engineering’’ a particular phenotype. The problem of reverse-engineering a desired phenotype to its genetic ‘‘instructions’’ is probably intractable for any but the most simple phenotypes. Recent developments in the field of bio-engineering and synthetic biology reflect these limitations. Instead of genetically engineering a desired trait from scratch, as the machine/engineering metaphor promises, researchers are making greater strides by co-opting natural selection to ‘‘search’’ for a suitable genotype, or by borrowing and recombining genetic material from extant life forms. (shrink)

Why did R.G. Collingwood come to reject the adversarial style of philosophical discussion so popular among his Oxford peers? The main aim of this paper is to explain that Collingwood came to reject his colleagues’ specific style of philosophical dialogue on methodological grounds, and to show how the argument against adversarial philosophical discussion is integrated with Collingwood’s overall criticism of realist philosophy. His argument exploits a connection between method and practice that should be taken seriously even today.

On many occasions, individuals are able to coordinate their actions. The first empirical evidence to this effect has been described by Schelling (1960) in an informal experiment. His results were corroborated many years later by Mehta et al. (1994a,b) and Bacharach and Bernasconi (1997). From the point of view of mainstream game theory, the success of individuals in coordinating their actions is something of a mystery. If there are two or more strict Nash equilibria, mainstream game theory has no means (...) of explaining why people tend to choose their part of one and the same equilibrium. Textbooks (see, e.g., Rasmusen, 1989 and Kreps, 1990) refer to the fact that players may use focal points (see Schelling (1960)) or social conventions (see Lewis (1969)). Both notions cannot easily be incorporated into mainstream game theory, however. The notion of social conventions has recently been extensively studied in the context of evolutionary game theory where a population of agents interacts with each other. The central focus of this paper, however, is on situations where a few players play a game only once and I study how they may coordinate their actions. (shrink)

New and Emerging Science and Technology (NEST) based innovations, e.g. in the field of Life Sciences or Nanotechnology, frequently raise societal and political concerns. To address these concerns NEST researchers are expected to deploy socially responsible R&D practices. This requires researchers to integrate social and ethical aspects (SEAs) in their daily work. Many methods can facilitate such integration. Still, why and how researchers should and could use SEAs remains largely unclear. In this paper we aim to relate motivations for NEST (...) researchers to include SEAs in their work, and the requirements to establish such integration from their perspectives, to existing approaches that can be used to establish integration of SEAs in the daily work of these NEST researchers. Based on our analyses, we argue that for the successful integration of SEAs in R&D practice, collaborative approaches between researchers and scholars from the social sciences and humanities seem the most successful. The only way to explore whether that is in fact the case, is by embarking on collaborative research endeavours. (shrink)

In this article we criticize two recent articles that examinethe relation between explanation and unification. Halonen and Hintikka (1999), on the one hand,claim that no unification is explanation. Schurz (1999), on the other hand, claims that all explanationis unification. We give counterexamples to both claims. We propose a pluralistic approach to the problem:explanation sometimes consists in unification, but in other cases different kinds of explanation(e.g., causal explanation) are required; and none of these kinds is more fundamental.

In this article we criticize two recent articles that examine the relation between explanation and unification. Halonen and Hintikka (1999), on the one hand, claim that no unification is explanation. Schurz (1999), on the other hand, claims that all explanation is unification. We give counterexamples to both claims. We propose a pluralistic approach to the problem: explanation sometimes consists in unification, but in other cases different kinds of explanation (e.g., causal explanation) are required; and none of these kinds is more (...) fundamental. (shrink)

Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book (...) is a most welcome addition to our series. The Editors CONTENTS PREFACE IX JOHAN VAN BENTHEM AND NATASHA ALECHINA Modal Quantification over Structured Domains PATRICK BLACKBURN AND WILFRIED MEYER-VIOL Modal Logic and Model-Theoretic Syntax 29 RUY J. G. B. DE QUEIROZ AND DOV M. GABBAY The Functional Interpretation of Modal Necessity 61 VLADIMIR V. RYBAKOV Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic 93 JERRY SELIGMAN The Logic of Correct Description 107 DIMITER VAKARELOV Modal Logics of Arrows 137 HEINRICH WANSING A Full-Circle Theorem for Simple Tense Logic 173 MICHAEL ZAKHARYASCHEV Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline 195 EDWARD N. ZALTA 249 The Modal Object Calculus and its Interpretation NAME INDEX 281 SUBJECT INDEX 285 PREFACE Intensional logic has many faces. In this preface we identify some prominent ones without aiming at completeness. (shrink)

New and Emerging Science and Technology (NEST) based innovations, e.g. in the field of Life Sciences or Nanotechnology, frequently raise societal and political concerns. To address these concerns NEST researchers are expected to deploy socially responsible R&D practices. This requires researchers to integrate social and ethical aspects (SEAs) in their daily work. Many methods can facilitate such integration. Still, why and how researchers should and could use SEAs remains largely unclear. In this paper we aim to relate motivations for NEST (...) researchers to include SEAs in their work, and the requirements to establish such integration from their perspectives, to existing approaches that can be used to establish integration of SEAs in the daily work of these NEST researchers. Based on our analyses, we argue that for the successful integration of SEAs in R&D practice, collaborative approaches between researchers and scholars from the social sciences and humanities seem the most successful. The only way to explore whether that is in fact the case, is by embarking on collaborative research endeavours. (shrink)

During the COVID-19 crisis there have been many difficult decisions governments and other decision makers had to make. E.g. do we go for a total lock down or keep schools open? How many people and which people should be tested? Although there are many good models from e.g. epidemiologists on the spread of the virus under certain conditions, these models do not directly translate into the interventions that can be taken by government. Neither can these models contribute to understand the (...) economic and/or social consequences of the interventions. However, effective and sustainable solutions need to take into account this combination of factors. In this paper, we propose an agent-based social simulation tool, ASSOCC, that supports decision makers understand possible consequences of policy interventions, but exploring the combined social, health and economic consequences of these interventions. (shrink)

Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...

Relationalism maintains that perceptual experience involves, as part of its nature, a distinctive kind of conscious perceptual relation between a subject of experience and an object of experience. Together with the claim that perceptual experience is presentational, relationalism is widely believed to be a core aspect of the naive realist outlook on perception. This is a mistake. I argue that naive realism about perception can be upheld without a commitment to relationalism.

This is a welcome reprint of a book that continues to grow in importance.

John Hyman insists that Frege-style cases for depiction show that any sound theory of depiction must distinguish between the ‘sense’ and the ‘reference’ of a picture. I argue that this rests on a mistake. Making sense of the cases does not require the distinction.

The author presents and defends three theses: (1) "the first is that it is not profitable for us at present to do moral philosophy; that should be laid aside at any rate until we have an adequate philosophy of psychology." (2) "the second is that the concepts of obligation, And duty... And of what is morally right and wrong, And of the moral sense of 'ought', Ought to be jettisoned if this is psychologically possible...." (3) "the third thesis is that (...) the differences between the well-Known english writers on moral philosophy from sidgwick to the present day are of little importance." (staff). (shrink)

This volume explores the different aspects of the thinking of Marsilius of Inghen . It is devoted to the background of his philosophy and theology, to the significance of his many writings, and to the impact of his thought.

What is wrong with ad hoc hypotheses? Ever since Popper’s falsificationist account of adhocness, there has been a lively philosophical discussion about what constitutes adhocness in scientific explanation, and what, if anything, distinguishes legitimate auxiliary hypotheses from illicit ad hoc ones. This paper draws upon distinct examples from pseudoscience to provide us with a clearer view as to what is troubling about ad hoc hypotheses. In contrast with other philosophical proposals, our approach retains the colloquial, derogative meaning of adhocness, and (...) calls attention to the way in which the context of a theoretical move bears on the charge of adhocness. We also discuss the role of motivations implicit in the concept of adhocness, and the way ad hoc moves draw on theory-internal rationalizations. (shrink)

This book offers an introduction to the Sophists of fifth-century Athens and a new overall interpretation of their thought. Since Plato first animadverted on their activities, the Sophists have commonly been presented as little better than intellectual mountebanks - a picture which Professor Kerferd forcefully challenges here. Interpreting the evidence with care, he shows them to have been part of an exciting and historically crucial intellectual movement. At the centre of their teaching was a form of relativism, most famously expressed (...) by Protagoras as 'Man is the measure of all things', and which they developed in a wide range of views - on knowledge and argument, virtue, government, society, and the gods. On all these subjects the Sophists did far more than simply provoke Plato to thought. Their contributions were substantial and serious; they inaugurated the debate on many central philosophical questions and decisively shifted the focus of philosophical attention from the cosmos to man. (shrink)

Many people assume that fictional entities are encapsulated in the world of fiction. I show that this cannot be right. Some works of fiction tell us about pieces of poetry, music, or theatre written by fictional characters. Such creations are fictional creations, as I will call them. Their authors do not exist. But that does not take away that we can perform, recite, or otherwise generate actual instances of such works. This means we can bring such individuals actually into existence, (...) as the works they are. I conclude that the assumption about encapsulation is untenable, unless an exception is made for types. (shrink)

Philosophers and psychologists often assume that mirror reflections are optical illusions. According to many authors, what we see in a mirror appears to be behind it. I discuss two strategies to resist this piece of dogma. As I will show, the conviction that mirror reflections are illusions is rooted in a confused conception of the relations between location, direction, and visibility. This conception is unacceptable to those who take seriously the way in which mirrors contribute to our experience of the (...) world. My argument may be read as an advertisement of the neglected field of philosophical catoptrics, the philosophical study of the optical properties of mirrors. It enables us to recast familiar issues in the philosophy of perception. (shrink)

Many people have a fascination with ‘senseless violence’ and are concerned about its rise in our society. In the real world, however, violence is rarely senseless. It is not random and haphazard but driven by rational motives and justifications and governed by its own internal logic. The myth of ‘senseless violence’ taps into certain moral intuitions, but it has little or nothing to do with reality. If we want to prevent violent acts, we need to understand the motivations of the (...) perpetrators rather than portraying their violence as random, mysterious, devoid of reason. I apply these insights to the extreme atrocities committed by the group known as the Islamic State and show how the myth of senseless violence has led many policymakers and commentators astray. (shrink)

Part of the distinction between artefacts, objects made by humans for particular purposes, and natural objects is that artefacts are subject to normative judgements. A drill, say, can be a good drill or a poor drill, it can function well or correctly or it can malfunction. In this paper I investigate how such judgements fit into the domain of the normative in general and what the grounds for their normativity are. Taking as a starting point a general characterization of normativity (...) proposed by Dancy, I argue how statements such as ‘this is a good drill’ or ‘this drill is malfunctioning’ can be seen to express normative facts, or the content of normative statements. What they say is that a user who has a desire to achieve a particular relevant outcome has a reason to use, or not to use, the artefact in question. Next this analysis is extended to show that not just statements that say that an artefact performs its function well or poorly, but all statements that ascribe a function to an artefact can be seen as expressing a normative fact. On this approach the normativity of artefacts is analyzed in terms of reasons on grounds of practical, and to a lesser extent theoretical, rationality. I close by investigating briefly to what extent reasons on moral grounds are, in the analysis adopted here, involved in the normativity of artefacts.Keywords: Artefact; Normativity; Instrumental reason; Practical rationality; Function; Use. (shrink)

The present study examined whether individuals with full-blown memories of highly implausible events are prone to commit source monitoring errors. Participants reporting previous-life memories and those without such memories completed a false fame task. This task provides an index of source monitoring errors . Participants with previous-life memories had a greater tendency to judge the names of previously presented non-famous people as famous than control participants. The two groups did not differ in terms of correct recognition of new non-famous names (...) and famous names. Although dissociation, cognitive failures, sleep-related experiences, depressive symptoms, and signs of psychological distress were all significantly higher in participants with previous-life memories than in controls, these variables did not predict the false fame illusion. (shrink)

For a long time, philosophers of science have expressed little interest in the so-called demarcation project that occupied the pioneers of their field, and most now concur that terms like “pseudoscience” cannot be defined in any meaningful way. However, recent years have witnessed a revival of philosophical interest in demarcation. In this paper, I argue that, though the demarcation problem of old leads to a dead-end, the concept of pseudoscience is not going away anytime soon, and deserves a fresh look. (...) My approach proposes to naturalize and down-size the concept, anchoring it in real-life doctrines and fields of inquiry. First, I argue against the definite article “the” in “the demarcation problem”, distinguishing between territorial and normative demarcation, and between different failures and shortcomings in science apart from pseudoscience. Next, I argue that pseudosciences can be fruitfully regarded as simulacra of science, doctrines that are not epistemically warranted but whose proponents try to create the impression that they are. In this element of imitation or mimicry, I argue, lies the clue to their common identity. Despite the huge variety of doctrines and beliefs gathered under the rubric of “pseudoscience”, and the wide range of defects from which they suffer, pseudosciences all engage in similar strategies to create an impression of epistemic warrant. The indirect, symptomatic approach defended here leads to a general characterization of pseudosciences in all domains of inquiry, and to a useful diagnostic tool. (shrink)

The concept of the future is re-emerging as an urgent topic on the academic agenda. In this article, we focus on the ‘politics of the future’: the social processes and practices that allow particular imagined futures to become socially performative. Acknowledging that the performativity of such imagined futures is well-understood, we argue that how particular visions come about and why they become performative is underexplained. Drawing on constructivist sociological theory, this article aims to fill this gap by exploring the question (...) ‘how do imagined futures become socially performative’? In doing so, the article has three aims to identify the leading social–theoretical work on the future; conceptualize the relationship of the imagination of the future with social practices and the performance of reality; provide a theoretical framework explaining how images of the future become performative, using the concepts ‘techniques of futuring’ and ‘dramaturgical regime’. (shrink)

For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved under taking canonical (...) embedding algebras. Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V. We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity called Henkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the firstorder correspondents of these two equations are equivalent over the class of cylindric atom structures. (shrink)